(= (and 1 2 3) 3)
